<div>
    The location Jenkins should clone from. This can be the primary server or a mirror if one is available.
</div>
